infobar: Add :revealed property
authorTimm Bäder <mail@baedert.org>
Thu, 12 Jan 2017 08:09:22 +0000 (09:09 +0100)
committerDaniel Boles <dboles@src.gnome.org>
Mon, 12 Mar 2018 15:17:24 +0000 (15:17 +0000)
commite9d84e26531acb611c8685b1f628cc1fc25c199d
tree501d37d1763c2cea2bd29e149d864ffdbd081228
parent45aa0188394087b68ac1ca8b3e5969c4d7e151a4
infobar: Add :revealed property

https://bugzilla.gnome.org/show_bug.cgi?id=710888
gtk/gtkinfobar.c
gtk/gtkinfobar.h
gtk/ui/gtkinfobar.ui